DICLIB.COM
Herramientas lingüísticas IA

Todas las herramientas Suscripción Contáctenos

Ingrese una palabra o frase en cualquier idioma 👆

Idioma:

Traducción y análisis de palabras por inteligencia artificial

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

cómo se usa la palabra
frecuencia de uso
se utiliza con más frecuencia en el habla oral o escrita
opciones de traducción
ejemplos de uso (varias frases con traducción)
etimología

two-valued model - traducción al ruso

SET THEORY CONCEPT

Boolean valued model; Boolean-valued logic

two-valued model

математика

двузначная модель

many-valued logic

PROPOSITIONAL CALCULUS IN WHICH THERE ARE MORE THAN TWO TRUTH VALUES

Multiple-valued logic; Many valued logic; Multivalued logic; Polyvalued logic; Many-valued logics; Belnap logic; Many-Valued Logics; Multi-valued logics; Multi-valued logic; Multiple valued logic; Multi valued logic; Poly-valued logic; Poly valued logic; Manyvalued logic; MV logic; M-V logic; MV-logic; Polyvalent logic; Applications of many-valued logic; Bochvar logic; History of many-valued logic; Rose logic

математика

многозначная логика

multivalued logic

PROPOSITIONAL CALCULUS IN WHICH THERE ARE MORE THAN TWO TRUTH VALUES

Multiple-valued logic; Many valued logic; Multivalued logic; Polyvalued logic; Many-valued logics; Belnap logic; Many-Valued Logics; Multi-valued logics; Multi-valued logic; Multiple valued logic; Multi valued logic; Poly-valued logic; Poly valued logic; Manyvalued logic; MV logic; M-V logic; MV-logic; Polyvalent logic; Applications of many-valued logic; Bochvar logic; History of many-valued logic; Rose logic

математика

многозначная логика

Definición

Modelled

·- of Model.

Mostrar más definiciones

Wikipedia

Boolean-valued model

In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra.

Boolean-valued models were introduced by Dana Scott, Robert M. Solovay, and Petr Vopěnka in the 1960s in order to help understand Paul Cohen's method of forcing. They are also related to Heyting algebra semantics in intuitionistic logic.

https://en.wikipedia.org/wiki/Boolean-valued model

¿Cómo se dice two-valued model en Ruso? Traducción de &#39two-valued model&#39 al Ruso